Automatic Empirical Failure Avoidance for Concurrent Software
نویسندگان
چکیده
We propose Aviso, a system for avoiding failures due to concurrency errors. Aviso monitors program events during multithreaded execution. When a failure occurs, Aviso represents sequences of events from the failing execution as state-machines that we call SHIELDs. Aviso can use SHIELDs to avoid event sequences that lead to failures. After a failure, Aviso creates many candidate SHIELDs representing possible causes. Aviso then empirically vets them to determine which best avoid failures. We implemented Aviso and showed it increases reliability, and imposes low performance overhead (0-30%).
منابع مشابه
Providing a structural model for psychological problems based on disconnection and rejection domain and negative automatic thoughts with mediating role of experimental avoidance
Introduction: Psychological problems are the result of a person's interaction with the environment and include behaviors that cause social conflicts, dissatisfaction and individual unhappiness. The present study aimed to provide a structural model for psychological problems based on disconnection and rejection domain and negative automatic thoughts with mediating role of experimental avoidance....
متن کاملBayes Networks and Fault Tree Analysis Application in Reliability Estimation (Case Study: Automatic Water Sprinkler System)
In this study, the application of Bayes networks and fault tree analysis in reliability estimation have been investigated. Fault tree analysis is one of the most widely used methods for estimating reliability. In recent years, a method called "Bayes Network" has been used, which is a dynamic method, and information about the probable failure of the system components will be updated according to...
متن کاملChanges in the structure of the heart and blood pressure after a period of concurrent endurance-resistance training in patients with chronic heart failure
Background: Exercise improves functional capacity by improving endothelial function and musculoskeletal aerobic metabolism, but its effects on hemodynamic control are not well known. The aim of this study was to investigate the effect of aerobic and resistance trainings on structural changes and blood pressure in patients with heart failure. Materials and methods: 76 patients aged 65 to 79 year...
متن کاملAvoidance goal pursuit depletes self-regulatory resources.
OBJECTIVE Research on the strength model of self-regulation is burgeoning, but little empirical work has focused on the link between distinct types of daily goal pursuit and the depletion of self-regulatory resources. The authors conducted two studies on the link between avoidance goals and resource depletion. METHOD Study 1 (283 [228 female] Caucasians, ages 18-51) investigated the concurren...
متن کاملContext-Bounded Translations for Concurrent Software: An Empirical Evaluation
Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 2008 and 2009) have proposed ingenious translation approaches that promise much better scalability, backed by compelling, but differing, theoretical and conceptual advantages. Empirical evidence comparing the translations, however...
متن کامل